You have chosen Intensional Logic, Abstract Objects: a Case Study and Intensional Logic.
All three must be different; choose another text.